home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / webhdr.tex < prev    next >
Text File  |  1985-06-03  |  9KB  |  199 lines
  1. % standard macros for WEB listings (in addition to PLAIN.TEX)
  2. \parskip 0pt % no stretch between paragraphs
  3. \parindent 1em % for paragraphs and for the first line of PASCAL text
  4.  
  5. \font\eightrm=amr8 % this will eventually become cmr8
  6. \let\sc=\eightrm \let\mainfont=\tenrm
  7. \font\titlefont=amr7 scaled\magstep4 % title on the contents page
  8. \font\ttitlefont=amtt10 scaled\magstep2 % typewriter type in title
  9. \font\tentex=amtex10 % TeX extended character set (used in strings)
  10.  
  11. \def\\#1{\hbox{\it#1\/\kern.05em}} % italic type for identifiers
  12. \def\|#1{\hbox{$#1$}} % one-letter identifiers look a bit better this way
  13. \def\{\hbox{\bf#1\/}} % boldface type for reserved words
  14. \def\.#1{\hbox{\tentex % typewriter type for strings
  15.   \let\\=\BS % backslash in a string
  16.   \let\'=\RQ % right quote in a string
  17.   \let\`=\LQ % left quote in a string
  18.   \let\{=\LB % left brace in a string
  19.   \let\}=\RB % right brace in a string
  20.   \let\~=\TL % tilde in a string
  21.   \let\ =\SP % space in a string
  22.   \let\_=\UL % underline in a string
  23.   \let\&=\AM % ampersand in a string
  24.   #1}}
  25. \def\#{\hbox{\tt\char`\#}} % parameter sign
  26. \def\${\hbox{\tt\char`\$}} % dollar sign
  27. \def\%{\hbox{\tt\char`\%}} % percent sign
  28. \def\^{\ifmmode\mathchar"222 \else\char`^ \fi} % pointer or hat
  29. % circumflex accents can be obtained from \^^D instead of \^
  30. \def\AT!{@} % at sign for control text
  31.  
  32. \chardef\AM=`\& % ampersand character in a string
  33. \chardef\BS=`\\ % backslash in a string
  34. \chardef\LB=`\{ % left brace in a string
  35. \def\LQ{{\tt\char'22}} % left quote in a string
  36. \chardef\RB=`\} % right brace in a string
  37. \def\RQ{{\tt\char'23}} % right quote in a string
  38. \def\SP{{\tt\char`\ }} % (visible) space in a string
  39. \chardef\TL=`\~ % tilde in a string
  40. \chardef\UL=`\_ % underline character in a string
  41.  
  42. \newbox\bak \setbox\bak=\hbox to -1em{} % backspace one em
  43. \newbox\bakk\setbox\bakk=\hbox to -2em{} % backspace two ems
  44.  
  45. \newcount\ind % current indentation in ems
  46. \def\1{\global\advance\ind by1\hangindent\ind em} % indent one more notch
  47. \def\2{\global\advance\ind by-1} % indent one less notch
  48. \def\3#1{\hfil\penalty#10\hfilneg} % optional break within a statement
  49. \def\4{\copy\bak} % backspace one notch
  50. \def\5{\hfil\penalty-1\hfilneg\kern2.5em\copy\bakk\ignorespaces}% optional break
  51. \def\6{\ifmmode\else\par % forced break
  52.   \hangindent\ind em\noindent\kern\ind em\copy\bakk\ignorespaces\fi}
  53. \def\7{\Y\6} % forced break and a little extra space
  54.  
  55. \let\yskip=\smallskip
  56. \def\to{\mathrel{.\,.}} % double dot, used only in math mode
  57. \def\note#1#2.{\Y\noindent{\hangindent2em\baselineskip10pt\eightrm#1 #2.\par}}
  58. \def\lapstar{\rlap{*}}
  59. \def\startsection{\Q\noindent{\let\*=\lapstar\bf\modstar.\quad}}
  60. \def\defin#1{\global\advance\ind by 2 \1\&{#1 }} % begin `define' or `format'
  61. \def\A{\note{See also}} % cross-reference for multiply defined section names
  62. \def\B{\mathopen{\.{@\{}}} % begin controlled comment
  63. \def\C#1{\ifmmode\gdef\XX{\null$\null}\else\gdef\XX{}\fi % PASCAL comments
  64.   \XX\hfil\penalty-1\hfilneg\quad$\{\,$#1$\,\}$\XX}
  65. \def\D{\defin{define}} % macro definition
  66. \def\E{\cdot10^} % exponent in floating point constant
  67. \def\F{\defin{format}} % format definition
  68. \let\G=\ge % greater than or equal sign
  69. \def\H#1{\hbox{\rm\char"7D\tt#1}} % hexadecimal constant
  70. \let\I=\ne % unequal sign
  71. \def\J{\.{@\&}} % TANGLE's join operation
  72. \let\K=\gets % left arrow
  73. \let\L=\le % less than or equal sign
  74. \outer\def\M#1.{\MN#1.\ifon\vfil\penalty-100\vfilneg % beginning of section
  75.   \vskip12ptminus3pt\startsection\ignorespaces}
  76. \outer\def\N#1.#2.{\MN#1.\vfil\eject % beginning of starred section
  77.   \def\rhead{\uppercase{\ignorespaces#2}} % define running headline
  78.   \message{*\modno} % progress report
  79.   \edef\next{\write\cont{\Z{#2}{\modno}{\the\pageno}}}\next % to contents file
  80.   \ifon\startsection{\bf\ignorespaces#2.\quad}\ignorespaces}
  81. \def\MN#1.{\par % common code for \M, \N
  82.   {\xdef\modstar{#1}\let\*=\empty\xdef\modno{#1}}
  83.   \ifx\modno\modstar \onmaybe \else\ontrue \fi \mark{\modno}}
  84. \def\O#1{\hbox{\rm\char'23\kern-.2em\it#1\/\kern.05em}} % octal constant
  85. \def\P{\rightskip=0pt plus 100pt minus 10pt % go into PASCAL mode
  86.   \sfcode`;=3000
  87.   \pretolerance 10000
  88.   \hyphenpenalty 10000 \exhyphenpenalty 10000
  89.   \global\ind=2 \1\ \unskip}
  90. \def\Q{\rightskip=0pt % get out of PASCAL mode
  91.   \sfcode`;=1500 \pretolerance 200 \hyphenpenalty 50 \exhyphenpenalty 50 }
  92. \let\R=\lnot % logical not
  93. \let\S=\equiv % equivalence sign
  94. \def\T{\mathclose{\.{@\}}}} % terminate controlled comment
  95. \def\U{\note{This code is used in}} % cross-reference for uses of sections
  96. \let\V=\lor % logical or
  97. \let\W=\land % logical and
  98. \def\X#1:#2\X{\ifmmode\gdef\XX{\null$\null}\else\gdef\XX{}\fi % section name
  99.   \XX$\langle\,$#2{\eightrm\kern.5em#1}$\,\rangle$\XX}
  100. \def\Y{\par\yskip}
  101. \let\Z=\let % now you can \send the control sequence \Z
  102. \def\){\hbox{\.{@\$}}} % sign for string pool check sum
  103. \def\]{\hbox{\.{@\\}}} % sign for forced line break
  104. \def\=#1{\kern2pt\hbox{\vrule\vtop{\vbox{\hrule
  105.         \hbox{\strut\kern2pt\.{#1}\kern2pt}}
  106.       \hrule}\vrule}\kern2pt} % verbatim string
  107. \let\~=\ignorespaces
  108. \let\*=*
  109.  
  110. \def\onmaybe{\let\ifon=\maybe} \let\maybe=\iftrue
  111. \newswitch{on} \newswitch{title} \newswitch{pagesaved}
  112. \def\lheader{\mainfont\the\pageno\eightrm\qquad\rhead\hfill\title\qquad
  113.   \tensy x\mainfont\topmark} % top line on left-hand pages
  114. \def\rheader{\tensy x\mainfont\topmark\eightrm\qquad\title\hfill\rhead
  115.   \qquad\mainfont\the\pageno} % top line on right-hand pages
  116. \def\page{\box255 }
  117. \def\normaloutput#1#2#3{\shipout\vbox{
  118.   \ifodd\pageno\hoffset=\pageshift\fi
  119.   \vbox to\fullpageheight{
  120.   \iftitle\global\titlefalse
  121.   \else\hbox to\pagewidth{\vbox to10pt{}\ifodd\pageno #3\else#2\fi}\fi
  122.   \vfill#1}} % parameter #1 is the page itself
  123.   \global\advance\pageno by1}
  124.  
  125. \def\rhead{\.{WEB} OUTPUT} % this running head is reset by starred sections
  126. \def\title{} % an optional title can be set by the user
  127. \def\topofcontents{\centerline{\titlefont\title}
  128.   \vfill} % this material will start the table of contents page
  129. \def\botofcontents{\vfill} % this material will end the table of contents page
  130. \def\contentspagenumber{0} % default page number for table of contents
  131. \newdimen\pagewidth \pagewidth=6.5in % the width of each page
  132. \newdimen\pageheight \pageheight=8.7in % the height of each page
  133. \newdimen\fullpageheight \fullpageheight=9in % page height including headlines
  134. \newdimen\pageshift \pageshift=0in % shift righthand pages wrt lefthand ones
  135. \def\magnify#1{\mag=#1\pagewidth=6.5truein\pageheight=8.7truein
  136.   \fullpageheight=9truein}
  137. \def\setpage{\hsize\pagewidth\vsize\pageheight} % use after changing page size
  138. \def\contentsfile{CONTENTS} % file that gets table of contents info
  139. \def\readcontents{\input CONTENTS}
  140.  
  141. \newwrite\cont
  142. \output{\setbox0=\page % the first page is garbage
  143.   \openout\cont=\contentsfile
  144.   \global\output{\normaloutput\page\lheader\rheader}}
  145. \setpage
  146. \vbox to \vsize{} % the first \topmark won't be null
  147.  
  148. \def\ch{\note{The following sections were changed by the change file:}
  149.   \let\*=\relax}
  150. \newbox\sbox % saved box preceding the index
  151. \newbox\lbox % lefthand column in the index
  152. \def\inx{\par\vskip6pt plus 1fil % we are beginning the index
  153.   \write\cont{} % ensure that the contents file isn't empty
  154.   \closeout\cont % the contents information has been fully gathered
  155.   \output{\ifpagesaved\normaloutput{\box\sbox}\lheader\rheader\fi
  156.     \global\setbox\sbox=\page \global\pagesavedtrue}
  157.   \pagesavedfalse \eject % eject the page-so-far and predecessors
  158.   \setbox\sbox\vbox{\unvbox\sbox} % take it out of its box
  159.   \vsize=\pageheight \advance\vsize by -\ht\sbox % the remaining height
  160.   \hsize=.5\pagewidth \advance\hsize by -10pt
  161.     % column width for the index (20pt between cols)
  162.   \parfillskip 0pt plus .6\hsize % try to avoid almost empty lines
  163.   \def\lr{L} % this tells whether the left or right column is next
  164.   \output{\if L\lr\global\setbox\lbox=\page \gdef\lr{R}
  165.     \else\normaloutput{\vbox to\pageheight{\box\sbox\vss
  166.         \hbox to\pagewidth{\box\lbox\hfil\page}}}\lheader\rheader
  167.     \global\vsize\pageheight\gdef\lr{L}\global\pagesavedfalse\fi}
  168.   \message{Index:}
  169.   \parskip 0pt plus .5pt
  170.   \outer\def\:##1, {\par\hangindent2em\noindent##1:\kern1em} % index entry
  171.   \def\[##1]{$\underline{##1}$} % underlined index item
  172.   \rm \rightskip0pt plus 2.5em \tolerance 10000 \let\*=\lapstar
  173.   \hyphenpenalty 10000 \parindent0pt}
  174. \def\fin{\par\vfill\eject % this is done when we are ending the index
  175.   \ifpagesaved\null\vfill\eject\fi % output a null index column
  176.   \if L\lr\else\null\vfill\eject\fi % finish the current page
  177.   \parfillskip 0pt plus 1fil
  178.   \def\rhead{NAMES OF THE SECTIONS}
  179.   \message{Section names:}
  180.   \output{\normaloutput\page\lheader\rheader}
  181.   \setpage
  182.   \def\note##1##2.{\quad{\eightrm##1 ##2.}}
  183.   \def\U{\note{Used in}} % cross-reference for uses of sections
  184.   \def\:{\par\hangindent 2em}\let\*=*}
  185. \def\con{\par\vfill\eject % finish the section names
  186.   \rightskip 0pt \hyphenpenalty 50 \tolerance 200
  187.   \setpage
  188.   \output{\normaloutput\page\lheader\rheader}
  189.   \titletrue % prepare to output the table of contents
  190.   \pageno=\contentspagenumber \def\rhead{TABLE OF CONTENTS}
  191.   \message{Table of contents:}
  192.   \topofcontents
  193.   \line{\hfil Section\hbox to3em{\hss Page}}
  194.   \def\Z##1##2##3{\line{\ignorespaces##1
  195.     \leaders\hbox to .5em{.\hfil}\hfil\ ##2\hbox to3em{\hss##3}}}
  196.   \readcontents\relax % read the contents info
  197.   \botofcontents \end} % print the contents page(s) and terminate
  198. \tracingstats1 % temporary (during development)
  199.